Parallel program schemata
نویسندگان
چکیده
منابع مشابه
On Maximally Parallel Schemata
A model for parallel computation called a schema is presented. This model is similar to that presented in the recent work of Karp and Miller 2 • Section 1 presents a description of the model, and some results on the characterization of computations within it. Section 2 stunIIlarizes some results on determinacy and equivalence. Section 3 presents a ~ormalization of the property of maximal parall...
متن کاملExtensible Logic Program Schemata
Schema-based transformational systems maintain a library of logic program schemata which capture large classes of logic programs. One of the shortcomings of schema-based transformation approaches is their reliance on a large (possibly incomplete) set of logic program schemata that is required in order to capture all of the minor syntactic differences between semantically similar logic programs....
متن کاملProgram Development Schemata as Derived Rules
We show how the formalization and application of schemata for program development can be reduced to the formalization and application of derived rules of inference. We formalize and derive schemata as rules in theories that axiomatize program data and programs themselves. We reduce schema-based program development to ordinary theorem proving, where higher-order uniication is used to apply rules...
متن کاملProgram Schemata Technique to Solve Propositional Program Logics Revised
Propositional program (dynamic, temporal and process) logics are basis for logical specification of program systems (including parallel, distributed and multiagent systems). Therefore development of efficient algorithms (decision procedures) for validation, provability and model checking of program logics is an important research topic for the theory of programming. The essence of a program sch...
متن کاملLogic Program Transformation through Generalization Schemata
In program synthesis, program transformation can be done on the fly, based on information generated and exploited during the program construction process. For instance, some logic program generalization techniques can be pre-compiled at the logic program schema level, yielding transformation schemata that give rise to elimination of the eureka discovery, full automation of the transformation pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1969
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(69)80011-5